1. Theorem proving in higher order logics : 9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 : proceedings
پدیدآورنده : J. von Wright, J. Grundy, J. Harrison )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1125
